vector spaces and subspaces